\section{Formal Problem Statement and Our Results}